Sokoban Solver Statistics - Sven Egevad Sharpen

Date: 2023-06-05

Sven Egevad Sharpen Festival 3.1 Festival 3.0 Festival 2.4 Festival 2.0 Sokolution 6.01 Sokolution 6.0 Sokolution 5.1 Sokolution 5.0 Takaken 7.4 Takaken 7.3.1 Takaken 7.3 YASS 2.149 YASS 2.146 All?One?None?   FloorsBoxesLower BoundBP
Solved levels 144 of 153 137 122 114 121 118 95 97 84 82 82 66 48 4346 Total1876152961021017456
 
 
Sokoban Solver Statistics - Level Set Summary - Pushes - Sven Egevad Sharpen
Sven Egevad Sharpen Festival 3.1 Festival 3.0 Festival 2.4 Festival 2.0 Sokolution 6.01 Sokolution 6.0 Sokolution 5.1 Sokolution 5.0 Takaken 7.4 Takaken 7.3.1 Takaken 7.3 YASS 2.149 YASS 2.146 All?One?None? WidthHeightFloorsBoxesLower BoundBP
1 490492492492448452452446   446446    19 16 156 21 374 406
2 333347319 751751           19 16 190 65 1 81
3 19618214214224824874136120120120108108  ✓   11 11 81 32 72 72
4 122170  214208767614414414472     11 11 81 32 36 64
5 5189898920320367674747472931  ✓   11 12 65 23 1 29
6 21321322310525925943593109109109      13 12 100 36 5 37
7 12210419419472721267466666652     13 15 119 46 32 42
8 234 116 260260           13 13 109 36 52 70
9 1521061021021901906464   62     13 13 105 28 44 54
10 188178376376274274  300        17 15 190 76 14 72
11 152132182114108108216216         14 14 143 58 24 42
12 8896120202154154154156         14 14 102 19 18 78
13 310326326326    290290290      12 16 108 24 140 168
14 166166196 40840896106156156156      13 13 109 37 28 48
15 1261267272949494116         13 13 108 36 28 44
16 19219214615444444414292186186186      13 13 108 36 28 48
17 11411410619016616616213211411411466     13 13 98 26 28 48
18 869812411028828812012012012012054     13 13 98 26 28 48
19 212212330330354354184184         13 13 108 36 40 66
Sven Egevad Sharpen Festival 3.1 Festival 3.0 Festival 2.4 Festival 2.0 Sokolution 6.01 Sokolution 6.0 Sokolution 5.1 Sokolution 5.0 Takaken 7.4 Takaken 7.3.1 Takaken 7.3 YASS 2.149 YASS 2.146 All?One?None? WidthHeightFloorsBoxesLower BoundBP
20 4640727214414496584040403636  ✓   13 11 64 10 14 36
21 374547107494947413333332319  ✓   9 10 49 14 5 19
22 14614613813810810816012410210210276     11 11 81 28 40 50
23 340308262276             16 16 156 60 72 86
24 21211717212129251919191713  ✓   9 9 32 4 5 13
25 932             
  ✓ Festival 3.1
  19 16 188 40 740 756
26 666614615880804672   3836    14 11 95 33 20 36
27 20203434242478203030302214  ✓   9 11 51 16 6 14
28 3464363642424242   3434    11 11 68 17 34 34
29 10210218814625825842426666664428  ✓   17 9 89 26 8 28
30 224 298 3103107676402402402      17 17 179 52 16 40
31 238 324 288288106106         17 17 179 52 16 48
32 28323030323254263434343030  ✓   11 9 53 15 14 24
33 28262826404048342828282424  ✓   10 11 41 8 10 24
34 24242828404060322020202016  ✓   11 8 45 14 14 16
35 402596472438320320           17 18 209 80 7 136
36 366520490456478478           17 18 209 80 7 138
37 370374  426            17 18 209 81 9 146
38 501483469547             19 17 239 88 4 113
39 510488534              19 17 239 89 5 118
Sven Egevad Sharpen Festival 3.1 Festival 3.0 Festival 2.4 Festival 2.0 Sokolution 6.01 Sokolution 6.0 Sokolution 5.1 Sokolution 5.0 Takaken 7.4 Takaken 7.3.1 Takaken 7.3 YASS 2.149 YASS 2.146 All?One?None? WidthHeightFloorsBoxesLower BoundBP
40 491399373373             19 17 228 77 4 121
41 437427371339             19 17 216 70 4 121
42                  ✓ 19 17 215 83 82 100
43 478             
  ✓ Festival 3.1
  19 17 215 84 82 106
44                  ✓ 19 17 215 85 82 108
45  418            
  ✓ Festival 3.0
  19 17 215 86 84 160
46 500             
  ✓ Festival 3.1
  19 17 213 84 84 160
47 969411811819619611411472888850     11 13 75 25 28 42
48 84866415214414410810878787850     11 13 75 26 26 46
49 13814412412829429431282148148148      13 13 97 33 32 44
50 10498260164210210966216         13 13 97 34 36 42
51 118176176176230230208174252252252      13 13 89 26 26 66
52 336276               17 17 222 93 1 56
53 358358               17 17 221 93 1 74
54 250250146146350350960408         17 17 173 43 24 60
55                  ✓ 23 23 407 162 1 168
56 632630               19 19 258 81 64 190
57 668668               19 19 258 85 56 164
58 478406               19 18 230 76 56 164
59 102120120120666616292888888      13 15 96 26 22 38
Sven Egevad Sharpen Festival 3.1 Festival 3.0 Festival 2.4 Festival 2.0 Sokolution 6.01 Sokolution 6.0 Sokolution 5.1 Sokolution 5.0 Takaken 7.4 Takaken 7.3.1 Takaken 7.3 YASS 2.149 YASS 2.146 All?One?None? WidthHeightFloorsBoxesLower BoundBP
60     7878 90112112112      19 19 143 36 36 52
61 308382314328             19 19 156 52 44 100
62                  ✓ 19 19 152 48 60 132
63 148126120114110110130130   66     17 9 82 28 34 54
64 44443636505036364444443636  ✓   15 9 70 27 8 36
65 76688484118118146102929292 54    11 16 82 27 32 54
66 54586490228228828224642424640  ✓   9 13 62 18 8 36
67 30302622222236242222222016  ✓   12 8 37 9 4 16
68 363363  517517           16 16 123 23 113 303
69 32323232323232323232323232  ✓   14 14 76 12 20 32
70 40408282666680504242422820  ✓   12 12 74 18 14 20
71 34343636323238343434343232  ✓   9 13 64 18 12 32
72 90848690707084848484846056  ✓   19 9 61 14 18 56
73 86922802809696969614014014066     11 17 106 26 10 54
74 290264236276278278696178         19 17 184 56 20 62
75 338328234308408408252252         19 17 184 56 26 66
76 16616663663615815816814618418418484     19 17 130 20 20 58
77 208236268292232232272216         17 16 145 39 28 72
78 146146132148180180132132 176176      19 11 115 28 42 80
79 158144138138262262  152152152      15 11 96 28 66 80
Sven Egevad Sharpen Festival 3.1 Festival 3.0 Festival 2.4 Festival 2.0 Sokolution 6.01 Sokolution 6.0 Sokolution 5.1 Sokolution 5.0 Takaken 7.4 Takaken 7.3.1 Takaken 7.3 YASS 2.149 YASS 2.146 All?One?None? WidthHeightFloorsBoxesLower BoundBP
80 377601267267    157157157105     15 11 95 27 59 85
81 626292928888869278787844     11 11 71 22 32 34
82 7492929210210248484646464848  ✓   9 15 85 32 30 32
83 76767878224224606054545458     9 15 77 26 34 42
84 6058688215415444444444444444  ✓   13 13 64 16 16 44
85 652280326220390390190190         15 15 120 36 64 86
86 260   330318           14 13 113 34 24 122
87 713645441441             15 13 112 26 141 167
88 38366464969672724646463430  ✓   13 10 70 15 22 30
89 376320318318278278  304304304      13 15 107 21 94 124
90 413317277277363367           13 15 115 30 77 131
91 375443443443565565  323        13 15 111 24 97 133
92 178178334334562562144144172172172138     17 17 122 14 60 134
93 234164158170310310           13 13 98 29 28 88
94 12512514714799992271958383835145  ✓   13 13 56 14 9 45
95 18186868141414142424241614  ✓   11 11 45 8 12 14
96 11414066204585878421421421422626  ✓   11 17 91 23 8 26
97 236270202              19 17 176 46 32 66
98 14211413013012812810810816016016078     17 17 118 22 38 66
99 432432432432412416416404382382382      18 13 108 18 294 378
Sven Egevad Sharpen Festival 3.1 Festival 3.0 Festival 2.4 Festival 2.0 Sokolution 6.01 Sokolution 6.0 Sokolution 5.1 Sokolution 5.0 Takaken 7.4 Takaken 7.3.1 Takaken 7.3 YASS 2.149 YASS 2.146 All?One?None? WidthHeightFloorsBoxesLower BoundBP
100 393393393393399403403389387387387379379  ✓   18 13 105 17 293 371
101 948611011019819814219610210210272     13 13 93 24 28 66
102 13731349135113511305131713191319         19 17 206 46 973 1041
103 15751577  15251541           19 17 206 45 941 1287
104 14811481  1331 1341          19 17 206 46 971 1273
105 220272278278336336  230230230      19 17 139 29 44 102
106 244244      276276276      19 17 139 30 44 132
107 273299               19 17 139 32 53 145
108 60668896707092687272724840  ✓   15 9 57 11 10 40
109 44485050484856504848484444  ✓   13 14 75 9 30 44
110 239239239239251247  239239239227     12 13 83 19 221 227
111 709811212010210298981181181186454  ✓   19 9 75 15 2 54
112 230184206208246246           19 15 142 30 4 74
113 224224292300228228398210         19 15 147 33 8 64
114 302302316198366366424216         19 15 146 32 8 64
115 254230336340274274  244244244      19 15 142 30 22 96
116 146212330330408408470464         19 15 142 30 20 90
117 170164  236236354354         19 15 142 31 22 102
118 234218284 13013034215031835635684     13 13 87 22 20 70
119 266272  150150228232         17 13 123 34 40 88
Sven Egevad Sharpen Festival 3.1 Festival 3.0 Festival 2.4 Festival 2.0 Sokolution 6.01 Sokolution 6.0 Sokolution 5.1 Sokolution 5.0 Takaken 7.4 Takaken 7.3.1 Takaken 7.3 YASS 2.149 YASS 2.146 All?One?None? WidthHeightFloorsBoxesLower BoundBP
120     160160 226         17 13 116 27 40 100
121 178154126170272272           19 12 126 30 28 74
122 138142204204252252           19 12 126 31 30 84
123 167   191191  173        19 12 126 31 31 81
124 10413213213210410468688282828268  ✓   19 11 97 18 40 68
125 10280104861761761281289696968066  ✓   13 11 63 14 40 66
126 63635555393939513333333327  ✓   15 11 81 11 11 27
127 555555559393129994545454937  ✓   15 11 81 11 15 37
128 640508               19 17 183 48 110 200
129 662648               19 17 179 48 110 220
130 64626056444440405050503432  ✓   15 11 65 10 14 32
131 41373737454537312727272927  ✓   15 10 64 9 11 27
132 34344424282840262424242424  ✓   10 12 55 10 14 24
133 3034110110202020203232328282  ✓   11 13 66 12 4 18
134 10410496881121121121121161161166664  ✓   17 13 108 23 34 62
135 152212               17 17 143 28 48 108
136 330324332332268270  160160160      19 13 117 22 40 90
137 1781321481481621621789814890907868  ✓   17 13 103 18 36 68
138 11111111111111111111111111  ✓   7 8 18 4 5 11
139 11096100114370370834398         15 9 78 22 26 64
Sven Egevad Sharpen Festival 3.1 Festival 3.0 Festival 2.4 Festival 2.0 Sokolution 6.01 Sokolution 6.0 Sokolution 5.1 Sokolution 5.0 Takaken 7.4 Takaken 7.3.1 Takaken 7.3 YASS 2.149 YASS 2.146 All?One?None? WidthHeightFloorsBoxesLower BoundBP
140 1551291291292232233411871251251255949  ✓   13 13 71 19 11 47
141 81811111111071071932159595954949  ✓   13 12 62 15 13 49
142 84841101101461462062388686865646  ✓   13 12 62 15 12 46
143 174170162162272272 222         19 17 149 18 62 104
144 331425397397             19 15 139 29 167 217
145 414494464464             19 17 179 43 202 324
146 1941121121129292444238204204204 70    19 11 108 19 50 70
147                  ✓ 19 16 176 58 229 371
148 150118132118262   148148148      17 11 99 24 36 82
149 120821301302062062322321221221227470  ✓   13 13 73 14 30 70
150 192190202196214214242212218218218188     15 13 96 22 150 170
151 246246246246244244208216240210210      18 17 128 21 138 170
152 585880966464148100848484140140  ✓   17 9 81 20 38 44
153                  ✓ 19 17 185 49 11 137
Solved levels 144 of 153 137 122 114 121 118 95 97 84 82 82 66 48 4346 Total1876152961021017456

Sokoban Solver Statistics Contact Sokoban Wiki LogoProgramming and Design: Brian Damgaard, Denmark

Large Test Suite Open Test Suite XSokoban Test Suite